Unbounded Vector Measures
نویسندگان
چکیده
منابع مشابه
Synthesis for Unbounded Bit-Vector Arithmetic
We propose to describe computations using QFPAbit, a language of quantifier-free linear arithmetic on unbounded integers with bitvector operations. We describe an algorithm that, given a QFPAbit formula with input and output variables denoting integers, generates an efficient function from a sequence of inputs to a sequence of outputs, whenever such function on integers exists. The starting poi...
متن کاملThe Divergence Theorem for Unbounded Vector Fields
In the context of Lebesgue integration, we derive the divergence theorem for unbounded vector fields that can have singularities at every point of a compact set whose Minkowski content of codimension greater than two is finite. The resulting integration by parts theorem is applied to removable sets of holomorphic and harmonic functions. In the context of Lebesgue integration, powerful divergenc...
متن کاملOn Synthesis for Unbounded Bit-vector Arithmetic
We propose to describe computations using QFPAbit, a language of quantifier-free linear arithmetic on unbounded integers with bitvector operations. Given a QFPAbit formula with input and output variables, we describe an algorithm that generates an efficient linear-space function from a sequence of inputs to a sequence of outputs, without the causality restriction of reactive synthesis. The star...
متن کاملCan unbounded distance measures mitigate the curse of dimensionality?
In this work, we revisit the curse of dimensionality, especially the concentration of the norm phenomenon which is the inability of distance functions to separate points well in high dimensions. We study the influence of the different properties of a distance measure, viz., triangle inequality, boundedness and translation invariance and on this phenomenon. Our studies indicate that unbounded di...
متن کامل2 00 6 Portmanteau theorem for unbounded measures
We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element. 2000 Mathematics Subject Classification: 60B10, 28A33
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Mathematical Bulletin
سال: 1966
ISSN: 0008-4395,1496-4287
DOI: 10.4153/cmb-1966-041-2